Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
691	Well-Posedness of Initial Value Problems for Functional Differential and Algebraic Equations of Mixed Type H. J. Hupkes a,∗ E. Augeraud-V´eron b a Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 17:18:00 Method of characteristics Μ operator Fluid dynamics Spectral theory of ordinary differential equations Cnoidal wave Mathematical analysis Symbol Calculus
692	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing
693	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
694	Conversations About Type: Privacy, Grammars and Taboos Ned Augenblick and Aaron Bodoh-Creed Abstract We provide a model in which two strategic agents exchange verifiable information Add to Reading List Source URL: faculty.haas.berkeley.edu Language: English - Date: 2013-08-19 13:41:14 Bayesian game Internet privacy Trait Information Problem solving Behavior Signaling game Game theory Mechanism design Communication
695	PCAXIS.MSG 5-1 __________________________________________________________________________ Text File for Messages in PC-AXIS for Windows When the program reads a text it uses 2 keywords, the first is found within brackets Add to Reading List Source URL: www.scb.se Language: English - Date: 2013-11-17 01:39:38 Data types Type theory Variables Open SQL Batch file Extensible Storage Engine Exec Microsoft Excel Computing Software Scripting languages
696	Peter LeFanu Lumsdaine Institute for Advanced Study Beck–Chevalley conditions for dependent type theory Dependent Type Theory is a powerful and congenial basis for logical systems, but the study of its models is plague Add to Reading List Source URL: web.science.mq.edu.au Language: English Nicolas Bourbaki Algebraic structures Pullback Model theory Coherence theory of truth Mathematical logic Functor Structure Mathematics Algebra Claude Chevalley
697	Draft Typed Objects in JavaScript Nicholas D. Matsakis David Herman Add to Reading List Source URL: smallcultfollowing.com Language: English - Date: 2015-05-29 14:49:35 Data types Type theory Cross-platform software C++ Object-oriented programming Type system JavaScript Pointer Prototype-based programming Software engineering Computing Computer programming
698	Multi-stage Programming for Mainstream Languages Edwin Westbrook Mathias Ricken Jun Inoue Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-03-24 17:48:20 C++ Type theory Subroutines Data types Functional programming Eval C++ classes Type system Closure Software engineering Computing Computer programming
699	“I’ll do it later”: Type of motivation, selfefficacy and homework procrastination Idit Katz, Keren Eilot & Noa Nevo Motivation and Emotion ISSN Add to Reading List Source URL: sdtheory.s3.amazonaws.com Language: English - Date: 2015-03-04 09:57:56 Human behavior Psychology Self Attention-deficit hyperactivity disorder Positive psychology Procrastination Self-efficacy Self-determination theory Self-regulated learning Mind Behavior Motivation
700	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming

UPDATE